<html>
<head>
   <title>Pectin Demo</title>

   <style>
      /* We use important to prevent and overrides from GWT styles.*/
      body {
         margin: 0 !important;
      }
      #header {
         background-color: #333333 !important;
         padding: 0.4em 1em !important;
      }
      #header h1 {
         font-family: Tahoma,sans-serif !important;
         font-size: 120% !important;
         letter-spacing: 0.15em !important;
         color: #fefefe !important;
         margin: 0 !important;
      }
   </style>

   <script type="text/javascript" language="javascript"
           src="pectin_demo/pectin_demo.nocache.js"></script>
</head>

<body>
<div id="header">
      <h1>Pectin Demo</h1>
</div>
<div style="padding:1em;">
   <div id="demo-target"></div>
</div>
</body>
</html>
